homotopy extension property

同伦扩张性(质)